1170 Safe and Efficient Active Network Programming

Active networks are aimed at incorporating programmability into the network to achieve extensibility. An approach to obtaining extensibility is based on downloading router programs into network nodes. Although promising, this approach raises several critical issues: expressiveness to enable programmability at all levels of networking, safety and security to protect shared resources, and eeciency to maximize usage of bandwidth. This paper makes contributions to all three issues above. Expressiveness. We have extended PLAN, an active network language for diagnostics, so that the language can express application protocols. These extensions are illustrated with two protocols: adaptive compression and active bridging. Safety and security. To address these critical aspects, we give examples of properties of PLAN programs that can be automatically checked due to the use of a restricted language. EEciency. We show that an automatically generated run-time compiler for PLAN and our extensions produces code with similar performance to an equivalent compiled Java program. Measurements are presented for an active bridge. Mots cl es : R eseaux actifs, langages d edi es, evaluation partielle, g en eration de code a l'ex ecution, r ep eteur Ethernet.